1. Automated theorem proving in software engineering
پدیدآورنده: Schumann, Johann M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Software engineering,، Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
2. Automated theorem proving in software engineering
پدیدآورنده: Johann M. Schumann ; foreword by Donald Loveland,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Software engineering,Automatic theorem proving
رده :
QA
.
S38
76
.
758
2001
3. Automated theorem proving in software engineering
پدیدآورنده: Johann M. Schumann ; foreword by Donald Loveland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving.,Génie logiciel.,Software engineering.
4. Automated theorem proving in software engineering
پدیدآورنده: / Johann M. Schumann
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Software engineering,Automatic theorem proving
رده :
QA
76
.
758
.
S38
2001
